Automata theory

Results: 1263



#Item
981Automata theory / Theory of computation / Design

HOW TO REPORT CHANGES IN YOUR CASE

Add to Reading List

Source URL: www.dhhs.nh.gov

Language: English - Date: 2012-04-19 13:24:08
982Formal languages / Pattern matching / Regular expressions / Automata theory / C / Quotation mark / Path / String / Hash function / Computing / Software engineering / Computer programming

INFOnline_New_Code_Guidelines_english

Add to Reading List

Source URL: www.infonline.de

Language: English - Date: 2012-09-07 08:30:16
983Automata theory / Finite state transducer

Investigations on Search Methods for Speech Recognition using Weighted Finite-State Transducers Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH A ACHEN U NIVERSITY

Add to Reading List

Source URL: www-i6.informatik.rwth-aachen.de

Language: English
984Artificial life / Cybernetics / Cellular automata / Cellular automaton / Complex systems theory / Scientific modeling / Genetic algorithm / Self-replication / Complexity / Science / Knowledge / Ethology

in Artificial Life VIII, Standish, Abbass, Bedau (eds)(MIT Press[removed]pp 38–48 1 Is Self-replication an Embedded Characteristic of Artificial/Living Matter?

Add to Reading List

Source URL: www.alife.org

Language: English - Date: 2013-01-14 08:22:29
985Distributed computing / I/O Automaton / Computing / Computer science / Finite-state machine / Automaton / Büchi automaton / Automata theory / Models of computation / Theoretical computer science

An Introduction to Input/Output Automata Nancy A. Lynch and Mark R. Tuttle Massachusetts Institute of Technology Cambridge, Mass[removed]November 18, 1988

Add to Reading List

Source URL: www.markrtuttle.com

Language: English - Date: 2007-04-26 00:00:00
986Arbiter / Computing / Actor model / Computer science / Software engineering / Automata theory / Models of computation / Finite-state machine

Hierarchical Correctness Proofs for Distributed Algorithms Nancy A. Lynch and Mark R. Tuttle Laboratory for Computer Science Massachusetts Institute of Technology

Add to Reading List

Source URL: www.markrtuttle.com

Language: English - Date: 2007-04-26 00:00:00
987Applied mathematics / Cellular automaton / Self-replicating machine / John von Neumann / Self-replication / Automata theory / Turing machine / Universal constructor / Von Neumann universal constructor / Artificial life / Science / Mathematics

in Artificial Life VIII, Standish, Abbass, Bedau (eds)(MIT Press[removed]pp 49–52 1 Von Neumann’s Machine in the Shell: Enhancing the Robustness of Self-Replication Processes

Add to Reading List

Source URL: www.alife.org

Language: English - Date: 2013-01-14 08:19:24
988Computer science / Software engineering / Computing / Büchi automaton / Automata theory / Models of computation / Finite-state machine

Time-Constrained Automata (Extended Abstract) Michael Merritt AT&T Bell Laboratories

Add to Reading List

Source URL: www.markrtuttle.com

Language: English - Date: 2007-04-26 00:00:00
989Theoretical computer science / Applied mathematics / Algorithm / Mathematical logic / Finite-state machine / Actor model / I/O Automaton / Cellular automaton / Models of computation / Automata theory / Computer science

Hierarchical Correctness Proofs for Distributed Algorithms by Mark R. Tuttle B.S., University of Nebraska{Lincoln

Add to Reading List

Source URL: www.markrtuttle.com

Language: English - Date: 2007-04-26 00:00:00
990Model checking / Finite-state machine / Automata theory / Models of computation / Deterministic pushdown automaton

Deciding equivalence using type checking Colin Stirling [removed] LFCS School of Informatics University of Edinburgh

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2014-06-30 04:38:21
UPDATE